下图是一个有限自动机的状态转换图(A为初态、C为终态)，该自动机识别的字符串集合可用正规式( )来表示。